USENIX Security '23 - Formal Analysis of SPDM: Security Protocol and Data Model version 1.2 USENIX 12:00 10 months ago 175 Далее Скачать
USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocol USENIX 11:06 10 months ago 65 Далее Скачать
USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security... USENIX 11:28 10 months ago 75 Далее Скачать
Security Protocol and Data Model (SPDM) Tutorial – SPDM 1.2 DMTF 7:46 2 years ago 2 468 Далее Скачать
USENIX Security '23 - Automated Analysis of Protocols that use Authenticated Encryption: How... USENIX 11:19 10 months ago 62 Далее Скачать
USENIX Security '23 - Formal Analysis and Patching of BLE-SC Pairing USENIX 12:34 10 months ago 303 Далее Скачать
USENIX Security '23 - Systematic Assessment of Fuzzers using Mutation Analysis USENIX 10:54 10 months ago 63 Далее Скачать
USENIX Security '23 - Multi-Factor Key Derivation Function (MFKDF) for Fast, Flexible, Secure, &... USENIX 10:42 10 months ago 126 Далее Скачать
USENIX Security '23 - Automated Security Analysis of Exposure Notification Systems USENIX 11:32 10 months ago 43 Далее Скачать
USENIX Security '23 - Investigating Verification Behavior and Perceptions of Visual Digital... USENIX 12:07 10 months ago 48 Далее Скачать
USENIX Security '23 - Person Re-identification in 3D Space: A WiFi Vision-based Approach USENIX 13:39 10 months ago 164 Далее Скачать
USENIX Security '23 - A Two-Decade Retrospective Analysis of a University's Vulnerability to... USENIX 11:57 10 months ago 1 039 Далее Скачать
USENIX Security '20 - A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis USENIX 11:10 4 years ago 177 Далее Скачать
USENIX Security '20 - A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis USENIX 11:10 4 years ago 53 Далее Скачать
Security Protocol and Data Model (SPDM) Tutorial – SPDM 1.0 DMTF 5:39 2 years ago 3 935 Далее Скачать
Security Protocol and Data Model (SPDM) Tutorial – SPDM 1.1 DMTF 4:12 2 years ago 1 518 Далее Скачать
USENIX Security '23 - Fuzztruction: Using Fault Injection-based Fuzzing to Leverage Implicit... USENIX 11:15 10 months ago 289 Далее Скачать
USENIX Security '18 - Formal Security Analysis of Neural Networks using Symbolic Intervals USENIX 21:41 6 years ago 1 150 Далее Скачать
USENIX Security '23 - HyPFuzz: Formal-Assisted Processor Fuzzing USENIX 12:11 10 months ago 182 Далее Скачать